Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 3 /3
978-3-540-35636-3
Algebraic Methodology and Software Technology

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...

Continue reading
978-3-540-35632-5
Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Continue reading
978-3-540-68635-4
Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Continue reading
Total Books: 1 - 3 /3